うちも入ってた〜〜給食。
味噌汁じゃなくてみつばとか入ったすまし汁系だったけど。
おそらく業務用のチューブに入ってて包丁で切って使うタイプで、
あったかい汁の中でやわらか〜くて、大好きだった。