file (GLOB symbols *.png)
install (FILES ${symbols} DESTINATION ${DATA_DIR}/images/operators)
