Quad forms:
definitions