On 19.03.2018 21:56, gabri...@xxxxxxxxx wrote: > With the intention of just give some feedback on this I'd like to note that I miss Unicode support in the last toolbox release (i.e. 1.5.6) Hi Gabriel, Unicode supported introduced regressions in the Toolbox which is why we reverted it [1]. Thanks Markus [1] https://github.com/tlaplus/tlaplus/issues/64