official No Signatures are currently supplied for the symbols defined in the setoid Content Dictionary