言明「⊤」は無条件に真である。言明「⊥」は無条件に偽である。真であることを意味する。少なくとも1つは存在することを意味する。1つ存在することを意味する。別名として定義されることを意味する。論理的に等価に定義されることを意味する。括弧内の操作を優先して実行する。証明させることを意味する。含意することを意味する。LaTeXコマンドその他の論理記号[編集]以下では、発展的または稀に用いられる論理記号について述べる。