for i in range(voters_per_proposition):
        f.write(" ^ v" + str(i) + "(v)")