Closed AshlinHarris closed 1 month ago
To avoid adding additional cases in the function renameoperators!, I define ≥ in terms of >= and ≤ in terms of <=, which is consistent with their definitions in operators.jl.
renameoperators!
≥
>=
≤
<=
This pull should fix #66.
To avoid adding additional cases in the function
renameoperators!
, I define≥
in terms of>=
and≤
in terms of<=
, which is consistent with their definitions in operators.jl.