namespace http://cds.omdoc.org/urtheories/pseudo

theory Brackets =
   // notations with round brackets must have a lower precedence than this to be recognized ❙
   brackets     # ( 1 ) prec -1000005
   // left bracket with omitted partner as far to the right as consistent with round brackets ❙
   andrewsDot   #  1  prec -1000000


theory EliminationForms =
  roundbrackets # 1 ( 2, ) prec -1000010
  squarebrackets # 1 [ 2, ] prec -1000010
  dot # 1 . 2 prec -1000010


theory AssignmentForms =
  roundbrackets # 1 ( 2, ) = 3 prec -1000010
  squarebrackets # 1 [ 2, ] = 3 prec -1000010