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