- ^-1
- ^:=
- _
- `
- {!!}
- {@@}
- {@ e1, e2, ..., en @} : Elt, ..., Elt -> SetIndx
- {@ @} : Null -> SetIndx
- {@ U | @} : Str -> SetIndx
- {@ U | e1, e2, ..., em @} : Str, Elt, ..., Elt -> SetIndx
- {@ e(x) : x in E | P(x) @}
- {@ U | e(x) : x in E | P(x) @}
- {@ e(x1,...,xk) : x1 in E1, ..., xkin Ek | P(x1, ..., xk) @}
- {@ U | e(x1,...,xk) : x1 in E1, ...,xk in Ek | P(x1, ..., xk)@}
V2.28, 13 July 2023