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: