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:
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:
Thank you very much KTM