Three new polls

Stream: Equational

[Terence Tao]

Hi everyone, I would encourage everyone's input on three new polls:

1. What symbol to use for the magma operation? Poll [EDIT: together with followup poll] is at https://leanprover.zulipchat.com/#narrow/stream/458659-Equational/topic/Symbol.20for.20.60Magma.2Eop.60
2. What orientation to use for the partial ordering on laws? Poll is at #Equational > Metatheory: meta-thread
3. What orientation to use for Hasse diagrams, assuming that we reverse the orientation for Q2? Poll is also at #Equational > Metatheory: meta-thread

because of time zones I will leave the polls open for 24 hours and then hopefully there will be a consensus on how to move forward on these conventions (which will be less painful to resolve now than later while the codebase is relatively small)

EDIT: One more poll at #Equational > POLL: Names of universally quantified variables