Define Symmetry Boundary Conditions

3

My question is more focused on how to actually write out that Dirichlet BC in Fenics, my experience is limited to defining actual velocities on the boundary, i.e. setting velocity to (5,0) at an inlet. I am not sure how I would actually write out an expression with my solution space in it, as a BC.