IL (or GL) ILW ILP ILM (resource intensive)

operators & symbols

---

interprets	>
box	[] B
diamond	<> D
neg	~ ¬
or	| \/ +
and	& /\ *
and not	%
conditional	-
false	#
true	T