Hermetica - Table of Operators

Operator	Arity	Precedence	Associativity	Regexp Macro
(↔)	2	0	right	{iff}
(→)	2	1	right	{implies}
(∨)	2	2	left	{or}
(∧)	2	3	left	{and}
(¬)	1	4	left	{not}
(=)	2	5	right	{equals}
(<)	2	5	right	{lessthan}
(>)	2	5	right	{greaterthan}
(≤)	2	5	right	{lessthanequalto}
(≥)	2	5	right	{greaterthanequalto}
(⊃)	2	5	right	{superset}
(⊇)	2	5	right	{nonstrictsuperset}
(∈)	2	5	right	{elementof}
(≡)	2	5	right	N/A
(⊂)	2	5	right	{subset}
(⊆)	2	5	right	{nonstrictsubset}
(≠)	2	5	right	{nequals}
(⊈)	2	5	right	{nnonstrictsubset}
(⊉)	2	5	right	{nnonstrictsuperset}
(⊄)	2	5	right	{nsubset}
(⊅)	2	5	right	{nsuperset}
(⋃)	2	6	left	{union}
(⋂)	2	7	left	{intersection}
(∖)	2	8	left	{setsubtraction}
(×)	2	9	left	{crossproduct}
(+)	2	10	left	{plus}
(*)	2	11	left	{times}
(/)	2	11	left	{div}
(-)	1	12	left	{negative}
(^)	2	13	right	{exponent}
(@)	2	14	right	{at}