Template:Structure (mathematical logic)/Metadata