The finite element literature (and much FEniCS documentation) applies an abstract notation for the variational formulation:
Find (u−B)∈V such that a(u,v)=L(v)∀v∈V