teidata.point
| teidata.point defines the data type used to express a point in cartesian space. | |
| 모듈 | tei — The TEI Infrastructure |
| 에 의해 사용된 | 부류:
요소:
|
| Content model | <content> |
| 선언 | <rng:define name="teidata.point">
teidata.point = token { pattern = "(-?[0-9]+(\.[0-9]+)?,-?[0-9]+(\.[0-9]+)?)" } |
| 예 | |
