Assertion: function's value | /r/CapableOf | use 13 symbols
Facets:
value: as "digits"
type: MANNER
Source sentences:
text: x {\displaystyle x} value as a tridecimal (a "decimal" in base 13) using 13 symbols as "digits": 0, 1, ..., 9, A, B, C; there should be no trailing C recurring.