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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
# principia package
# Matthew Bertucci 1/9/2021 for v1.3
#include:amssymb
#include:amsmath
#include:graphicx
#include:pifont
\pmthm#m
\pmast
\pmcdot
\pmpp
\pmiddf#m
\pmdf
\pmdem
\pmdot#m
\pmdott#m
\pmdottt#m
\pmdotttt#m
\pmdottttt#m
\pmdotttttt#m
\pmdotttttt#m
\pmand#m
\pmandd#m
\pmanddd#m
\pmandddd#m
\pmanddddd#m
\pmandddddd#m
\pmsub{top}{bot}#m
\pmsubb{top1}{bot1}{top2}{bot2}#m
\pmsubbb{top1}{bot1}{top2}{bot2}{top3}{bot3}#m
\pmsubbbb{top1}{bot1}{top2}{bot2}{top3}{bot3}{top4}{bot4}#m
\pmSub{name}{top}{bot}#m
\pmSubb{name}{top1}{bot1}{top2}{bot2}#m
\pmSubbb{name}{top1}{bot1}{top2}{bot2}{top3}{bot3}#m
\pmSubbbb{name}{top1}{bot1}{top2}{bot2}{top3}{bot3}{top4}{bot4}#m
\pmor#m
\pmnot#m
\pmimp#m
\pmiff#m
\pmhat{x}#m
\pmpf{func}{arg}
\pmpff{func}{arg1}{arg2}
\pmpfff{func}{arg1}{arg2}{arg3}
\pmall{arg}
\pmsome{arg}
\pmSome
\pmshr
\pmpred{pred}{arg}
\pmpredd{pred}{arg1}{arg2}
\pmpreddd{pred}{arg1}{arg2}{arg3}
\pmnid#m
\pmdsc{arg}
\pmexists
# not documented
\pmDsc#*
\pmSUb{name}{top}{bot}#*m
\pmSUbb{name}{top1}{bot1}{top2}{bot2}#*m
\pmSUbbb{name}{top1}{bot1}{top2}{bot2}{top3}{bot3}#*m
\pmSUbbbb{name}{top1}{bot1}{top2}{bot2}{top3}{bot3}{top4}{bot4}#*m
\pmbreve{arg}#*m
\pmbr{arg}#*
\pmcirc{arg}#*m
\pmdemi#*
\pmfd#*
\pmhp#*
\pmiota#*
\pmithm#*m
\pmprod#*m
\pmprop#*
\pmsUb{top}{bot}#*m
\pmsUbb{top1}{bot1}{top2}{bot2}#*m
\pmsUbbb{top1}{bot1}{top2}{bot2}{top3}{bot3}#*m
\pmsUbbbb{top1}{bot1}{top2}{bot2}{top3}{bot3}{top4}{bot4}#*m
|
