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 |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#1128.39.1:1152.39.25 |
type | |
parsing-notation | C (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#1198.41.1:1229.41.32 |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#1410.49.1:1434.49.25 |
type | |
parsing-notation | T (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#1528.52.1:1550.52.23 |
type | |
parsing-notation | U_1 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#1618.54.1:1646.54.29 |
type | |
parsing-notation | U_2 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#1711.56.1:1736.56.26 |
type | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#1774.59.1:1795.59.22 |