Ça me fait dire que ça pourrait être sympa une police pour programmeur qui transforme les != en ≠, ou bien les -> en →, ...