Projective mad families

Using almost disjoint coding we prove the consistency of the existence of a Π 2 1 definable ω -mad family of infinite subsets of ω (resp. functions from ω to ω ) together with b = 2 ω = ω 2 .