Describir: The symplectic arc algebra is formal