The Hodge star operator is used in mathematics