domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#292.8.1:308.8.17 |
type | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#341.10.1:365.10.25 |
type | |
definition | |
parsing-notation | Ω (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#488.13.1:530.13.43 |