Similar to ⊃

• 

  自由変数と束縛変数

  Free variables and bound variables
  
• 

  垂直記号

  Up tack
  
• 

  全称記号

  Universal quantification
  
• 

  ダイヤ (シンボル)

  Diamonds (suit)
  
• 

  ダウンタック記号

  Tee (symbol)
  
• 

  チルダ

  Tilde
  ▼-1 trends

  
• 

  バーティカルバー

  Vertical bar
  ▼-1 trends

  
• 

  否定記号

  
• 

  否定論理積

  Sheffer stroke
  
• 

  否定論理和

  Logical NOR
  
• 

  部分構造論理

  Substructural logic
  
• 

  無矛盾

  Consistency
  
• 

  メタ変数

  Metavariable
  
• 

  矢印

  Arrow (symbol)
  ▼-1 trends

  
• 

  リテラル

  Literal (computer programming)
  
• 

  ロズンジ

  
• 

  論理的帰結

  Logical consequence