Please contact us if you have any trouble resetting your password.
Well, someone confirmed it for me. It's the Hodge star operator where k = n - 1.
https://codereview.stackexchange.com/a/295238/289216