A formula for the area of a triangle: Useless, but explicitly in Deep Sets form