unicode: some mathematical symbols (wip)