domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/device.mmt#1410.49.1:1434.49.25 |
domain |
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 |