Use unicode for documenting mathematical laws