/usr/share/yacas/scripts/logic.rep/om.ys is in yacas 1.3.6-2+b1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 | // From code.ys.def:
OMDef( "=>" , "logic1","implies" );
OMDef( "CNF" , "yacas","cnf" );
OMDef( "LogicSimplify", "yacas","logic_simplify" );
OMDef( "CanProve" , "yacas","can_prove" );
OMDef( "LogicRemoveTautologies", "yacas","logic_remove_tautologies" );
OMDef( "Subsumes" , "yacas","subsumes" );
// The following appear in the def file, but commented out:
// "~", "yacas", "Not"
// "|", "yacas", "Or"
// "&", "yacas", "And"
|