Similar to 全称記号

Existential quantification

Therefore sign

Triple bar

Up tack

Vertical bar

Glossary of mathematical symbols

Ampersand

Diamonds (suit)

Tilde

Consistency

Arrow (symbol)

Rule of inference

Overline

Bracket

Radical symbol

Division sign

Equals sign

Multiplication sign