When using Drake's symbolic expressions library (e.g., the classes drake::symbolic::Expression or drake::symbolic::Formula), we provide a single include statement to cover all of the required classes: #include <drake/common/symbolic/expression.h>
.
#include "drake/common/symbolic/expression/all.h"