几何符号
符号 | latex | 符号 | latex |
---|---|---|---|
∥ \parallel ∥ | \parallel | ◊ \lozenge ◊ | \lozenge |
∦ \nparallel ∦ | \nparallel | ⧫ \blacklozenge ⧫ | \blacklozenge |
∥ \shortparallel ∥ | \shortparallel | ★ \bigstar ★ | \bigstar |
∦ \nshortparallel | \nshortparallel | ◯ \bigcirc ◯ | \bigcirc |
⊥ \perp ⊥ | \perp | △ \triangle △ | \triangle |
∠ \angle ∠ | \angle | △ \bigtriangleup △ | \bigtriangleup |
∢ \sphericalangle ∢ | \sphericalangle | ▽ \bigtriangledown ▽ | \bigtriangledown |
∡ \measuredangle ∡ | \measuredangle | △ \vartriangle △ | \vartriangle |
4 5 ∘ 45^\circ 45∘ | 45^\circ | ▽ \triangledown ▽ | \triangledown |
□ \Box □ | \Box | ▲ \blacktriangle ▲ | \blacktriangle |
■ \blacksquare ■ | \blacksquare | ▼ \blacktriangledown ▼ | \blacktriangledown |
⋄ \diamond ⋄ | \diamond | ◀ \blacktriangleleft ◀ | \blacktriangleleft |
◊ ◊ \Diamond \lozenge ◊◊ | \Diamond \lozenge | ▶ \blacktriangleright ▶ | \blacktriangleright |
逻辑符号
符号 | latex | 符号 | latex |
---|---|---|---|
∀ \forall ∀ | \forall | ¬ \neg ¬ | \neg |
∃ \exists ∃ | \exists | ̸ R \not\operatorname{R} R | \not\operatorname{R} |
∄ \nexists ∄ | \nexists | ⊥ \bot ⊥ | \bot |
∴ \therefore ∴ | \therefore | ⊤ \top ⊤ | \top |
∵ \because ∵ | \because | ⊢ \vdash ⊢ | \vdash |
& \And & | \And | ⊣ \dashv ⊣ | \dashv |
∨ \lor ∨ | \lor | ⊨ \vDash ⊨ | \vDash |
∨ \vee ∨ | \vee | ⊩ \Vdash ⊩ | \Vdash |
⋎ \curlyvee ⋎ | \curlyvee | ⊨ \models ⊨ | \models |
⋁ \bigvee ⋁ | \bigvee | ⊪ \Vvdash ⊪ | \Vvdash |
∧ \land ∧ | \land | ⊬ \nvdash ⊬ | \nvdash |
∧ \wedge ∧ | \wedge | ⊮ \nVdash ⊮ | \nVdash |
⋏ \curlywedge ⋏ | \curlywedge | ⊭ \nvDash ⊭ | \nvDash |
⋀ \bigwedge ⋀ | \bigwedge | ⊯ \nVDash ⊯ | \nVDash |
q ˉ \bar{q} qˉ | \bar{q} | ⌜ \ulcorner ┌ | \ulcorner |
a b c ˉ \bar{abc} abcˉ | \bar{abc} | ⌝ \urcorner ┐ | \urcorner |
q ‾ \overline{q} q | \overline{q} | ⌞ \llcorner └ | \llcorner |
a b c ‾ \overline{abc} abc | \overline{abc} | ⌟ \lrcorner ┘ | \lrcorner |
¬ \lnot ¬ | \lnot |
集合符号
符号 | latex | 符号 | latex |
---|---|---|---|
{ } \{ \} {} | { } | ⊏ \sqsubset ⊏ | \sqsubset |
∅ \emptyset ∅ | \emptyset | ⊃ \supset ⊃ | \sqsubset |
∅ \varnothing ∅ | \varnothing | ⋑ \Supset ⋑ | \Supset |
∈ \in ∈ | \in | ⊐ \sqsupset ⊐ | \sqsupset |
∉ \notin ∈/ | \notin | ⊆ \subseteq ⊆ | \subseteq |
∋ \ni ∋ | \ni | ⊈ \nsubseteq ⊈ | \nsubseteq |
∩ \cap ∩ | \cap | ⊊ \subsetneq ⊊ | \subsetneq |
⋒ \Cap ⋒ | \Cap | ⊊ \varsubsetneq | \varsubsetneq |
⊓ \sqcap ⊓ | \sqcap | ⊑ \sqsubseteq ⊑ | \sqsubseteq |
⋂ \bigcap ⋂ | \bigcap | ⊇ \supseteq ⊇ | \supseteq |
∪ \cup ∪ | \cup | ⊉ \nsupseteq ⊉ | \nsupseteq |
⋓ \Cup ⋓ | \Cup | ⊋ \supsetneq ⊋ | \supsetneq |
⊔ \sqcup ⊔ | \sqcup | ⊋ \varsupsetneq | \varsupsetneq |
⋃ \bigcup ⋃ | \bigcup | ⊒ \sqsupseteq ⊒ | \sqsupseteq |
⨆ \bigsqcup ⨆ | \bigsqcup | ⫅ \subseteqq ⫅ | \subseteqq |
⊎ \uplus ⊎ | \uplus | ⊈ \nsubseteqq | \nsubseteqq |
⨄ \biguplus ⨄ | \biguplus | ⫋ \subsetneqq ⫋ | \subsetneqq |
∖ \setminus ∖ | \setminus | ⫋ \varsubsetneqq | \varsubsetneqq |
∖ \smallsetminus ∖ | \smallsetminus | ⫆ \supseteqq ⫆ | \supseteqq |
× \times × | \times | ⊉ \nsupseteqq | \nsupseteqq |
⊂ \subset ⊂ | \subset | ⫌ \supsetneqq ⫌ | \supsetneqq |
⋐ \Subset ⋐ | \Subset | ⫌ \varsupsetneqq | \varsupsetneqq |