Matxdd presentations