String diagrams are a useful syntax that extends the work of Lawvere on functorial semantics for algebraic theories. In particular, the approach extends smoothly to partial theories (aka essentially algebraic theories), relational theories and first order theories.