LP allows users to declare symbols that can be used for infix, postfix, and prefix notations. Users can declare a simple operator (i.e., a <simpleOp>) for such use by decorating it with one or two markers (

allow the use of infix (e.g.,declare operators __+__, __\mod__: Nat, Nat -> Nat % infix operators -__: Nat -> Nat % prefix operator __!: Nat -> Nat % postfix operator ..

allows the use of postfix notations such asdeclare operator __.first: Queue -> Element