BAN Logic macros for LaTeX

BAN Logic macros for LaTeX

一个用于向Latex文档添加BAN Logic符号的宏列表。

Commands are named as symbol names (like \sees, \believs, and so on).

命令被命名为符号名称(如\see,\believs等)。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
% Packages
\usepackage{mathtools}
\usepackage{amssymb}

% Macros
\newcommand{\believes}{\mid\equiv}
\newcommand{\sees}{\triangleleft}
\newcommand{\oncesaid}{\mid\sim}
\newcommand{\controls}{\Rightarrow}
\newcommand{\fresh}[1]{\#(#1)}
\newcommand{\combine}[2]{{\langle #1 \rangle}_{#2}}
\newcommand{\encrypt}[2]{{ \{ #1 \} }_{#2}}
\newcommand{\sharekey}[1]{\xleftrightarrow{#1}}
\newcommand{\pubkey}[1]{\xmapsto{#1}}
\newcommand{\secret}[1]{\xleftrightharpoons{#1}}

% Examples
\[A \believes B \]
\[A \sees B \]
\[A \oncesaid B \]
\[A \controls B \]
\[\fresh{X} \]
\[\combine{X}{Y} \]
\[\encrypt{X}{Y} \]
\[A \sharekey{k} B \]
\[\pubkey{k} B \]
\[A \secret{k} B \]

效果如下:

http://www.lecaldare.com/ban-logic-macros-for-latex/

https://github.com/psoftware

-------------本文结束感谢您的阅读-------------

本文标题:BAN Logic macros for LaTeX

文章作者:Cryptohkk

发布时间:2019年02月25日 - 19:02

最后更新:2019年02月25日 - 20:02

原始链接:https://hkkhuang.cn/2019/02/25/BAN-Logic-macros-for-LaTeX/

许可协议: 署名-非商业性使用-禁止演绎 4.0 国际 转载请保留原文链接及作者。