Added formatting alternatives for facts
Added formatting alternatives for facts

In the interest of staying closer to written notation, rmupdater.py will
now accept "</=_c" as a synonym for "c-|>", and "<=>_c" as a synonym for
"c<->". (The same goes for other forms of reducibility, but this is
particularly intended to be used for c, sc, gW, W, and sW.)

ericastor/rmzoo