\begindata{text, 1}
\textdsversion{12}
\define{symbola
attr:[FontFamily Symbola Int 0]}
\define{symbol
attr:[FontFamily Symbol Int 0]}
\enddata{text,1}