| Application element | MIM element | Source | Rules | Reference Path |
| Symmetric_banded_matrix | symmetric_banded_matrix | 50 | ||
| skew | symmetric_matrix.skew_symmetric | symmetric_banded_matrix<= symmetric_matrix symmetric_matrix.skew_symmetric |
||
| default | symmetric_banded_matrix.default_entry | symmetric_banded_matrix symmetric_banded_matrix.default_entry |
||
| above | symmetric_banded_matrix.above | symmetric_banded_matrix symmetric_banded_matrix.above |