تنینلغتنامه دهخداتنین . [ ت ِن ْ نی ] (اِخ ) لقب ابراهیم بن مهدی ، بدان جهت که فربه و سیاه فام بود. (منتهی الارب ).