TeX source:
\tilde{x}_{truncate} = .125