svn: r15712
original commit: 3f0b94e58aabdd13c46009409b3e30651aa4d932
This commit is contained in:
parent
00494f838c
commit
2fb05f1be7
|
@ -135,6 +135,7 @@
|
||||||
("succ" "≻")
|
("succ" "≻")
|
||||||
("sim" "∼")
|
("sim" "∼")
|
||||||
("perp" "⊥")
|
("perp" "⊥")
|
||||||
|
("top" "⊤")
|
||||||
("preceq" "≼")
|
("preceq" "≼")
|
||||||
("succeq" "≽")
|
("succeq" "≽")
|
||||||
("simeq" "≃")
|
("simeq" "≃")
|
||||||
|
|
Loading…
Reference in New Issue
Block a user