No theorems yet developed for symbol FSIG_INF