# 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”

1. FR says:

Thank you very much KTM