15 \newcommand{\isasymColon}{\isamath{\mathrel{::}}} |
15 \newcommand{\isasymColon}{\isamath{\mathrel{::}}} |
16 \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}} |
16 \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}} |
17 \newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}} |
17 \newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}} |
18 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}} |
18 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}} |
19 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}} |
19 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}} |
|
20 \newcommand{\isasymequiv}{\isamath{\equiv}} |
20 |
21 |
21 \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign} |
22 \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign} |
22 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword} |
23 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword} |
23 \railterm{name,nameref,text,type,term,prop,atom} |
24 \railterm{name,nameref,text,type,term,prop,atom} |
24 |
25 |