Added hack to avoid conflicts with tikz and spanish symbols