QMath Context File logic1

This is a browser-friendly view of the QMath context logic1.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.

|| From OpenMath logic1 CD, 
|| 	http://www.openmath.org/cd/logic1.html
|| http://www.openmath.org/cd/logic1.ocd

Symbol: /\	OP_AND	"logic1:and"
Symbol: ∧	OP_AND	"logic1:and"
Symbol: <-->	OP_IMPL	"logic1:equivalent"
Symbol: ⇔	OP_IMPL	"logic1:equivalent"
Symbol: false	SYMBOL	"logic1:false"
Symbol: ⊭	SYMBOL	"logic1:false"
Symbol: -->	OP_IMPL	"logic1:implies"
Symbol: ⇒	OP_IMPL	"logic1:implies"
Symbol: not	OP_EXP	"logic1:not"
Symbol: ¬	OP_EXP	"logic1:not"
Symbol: \/	OP_OR	"logic1:or"
Symbol: ∨	OP_OR	"logic1:or"
Symbol: true	SYMBOL	"logic1:true"
Symbol: ⊨	SYMBOL	"logic1:true"
Symbol: \%	OP_OR	"logic1:xor"
Symbol: ⊻	OP_OR	"logic1:xor"