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❙
❚