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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
# semantic package
# Matthew Bertucci 1/18/2022 for v2.0ε
#keyvals:\usepackage/semantic#c
ligature
inference
tdiagram
reserved
shorthand
#endkeyvals
\mathlig{characters}{ligature commands%formula}
\mathligson
\mathligsoff
\mathligprotect{macro%cmd}
\inference{line1 \\ ... \\ lineN%formula}{conclusion%formula}
\inference[name]{line1 \\ ... \\ lineN%formula}{conclusion%formula}
\inference*{line1 \\ ... \\ lineN%formula}{conclusion%formula}
\inference*[name]{line1 \\ ... \\ lineN%formula}{conclusion%formula}
\setpremisesend{length}
\setpremisesspace{length}
\setnamespace{length}
\predicate{formula}#*
\predicatebegin#*
\predicateend#*
\compiler{%<source%>,%<machine%>,%<target%>}
\interpreter{%<source%>,%<language%>}
\program{%<program%>,%<language%>}
\machine{%<machine%>}
\reservestyle{macro%cmd}{formatting%definition}#d
\reservestyle[spacing cmd]{macro%cmd}{formatting%definition}#d
\<#S
\comp{command%plain}{environment%formula}
\eval{command%plain}{environment%formula}
\evalsymbol
\evalsymbol[superscript%formula]
\compsymbol
\compsymbol[superscript%formula]
\exe{program}{data%formula}
\exe{program}[machine%formula]{data%formula}
\TestForConflict{command list}#*
\semanticDate#S
\semanticVersion#S
|
