Saxon is the XSLT processor used in tbook. It is called by tbtolatex, tbtohtml, and tbtodocbk.
𝔐
) are not defined in tbook. I excluded
them because Saxon can't process them in many cases. This is a known
Saxon bug. See the
Saxon bug tracker for the whole story.