FED-CASE uses logical symbols to define the design.