BAN Logic macros for LaTeX

I uploaded a list of macros for adding BAN Logic symbols to Latex documents, because I haven’t found any premade list on the internet.
Commands are named as symbol names (like \sees, \believs, and so on).

Full list is on GitHubGist:

One thought to “BAN Logic macros for LaTeX”

Leave a Reply

Your email address will not be published. Required fields are marked *